Resource Type

Journal Article 71

Year

2023 3

2022 7

2021 7

2020 3

2019 3

2018 2

2017 5

2016 8

2015 8

2014 2

2013 6

2012 1

2011 1

2010 2

2009 3

2007 3

2005 1

2004 1

2002 1

2001 3

open ︾

Keywords

experimental validation 4

calibration and validation 3

TGP 2

model validation 2

16S rRNA gene markers 1

Manihot esculenta 1

ACMR 1

AMOEBA 1

Additive manufacturing 1

Architecturally significant requirement (ASR) 1

Architecture trade-off analysis method (ATAM) 1

Attribute-based encryption 1

Autonomous driving 1

Branch parameter errors 1

CAD assembly models 1

CBIT 1

COVID-19 1

Carbon capture 1

Carbon capture and storage 1

open ︾

Search scope:

排序： Display mode:

Test-driven verification/validation of model transformations

László LENGYEL,Hassan CHARAF

Frontiers of Information Technology & Electronic Engineering 2015, Volume 16, Issue 2,   Pages 85-97 doi: 10.1631/FITEE.1400111

Abstract: In this way, verification/validation methods can guarantee different requirements stated by the actualmodel transformation verified/validated, discusses the different scenarios of model transformation verificationand validation, and introduces the principles of a novel test-driven method for verifying/validatingFurthermore, we collect and discuss the actual open issues in the field of verification/validation of

Keywords： Graph rewriting based model transformations     Verification/validation     Test-driven verification    

HTML PDF Collect

Semantic Consistency and Correctness Verification of Digital Traffic Rules

Lei Wan,Changjun Wang,Daxin Luo,Hang Liu,Sha Ma,Weichao Hu,

Engineering doi: 10.1016/j.eng.2023.04.016

Abstract: In response, we propose a method of formal verification that combines equivalence verification with modeldigital traffic rules can be obtained by utilizing the proposed traffic rule digitization flow and verification

Keywords： Autonomous driving     Traffic rules     Digitization     Formalization     Verification    

HTML PDF Collect

Model validation for structural dynamics in the aero-engine design process

Chaoping ZANG, D. J. EWINS,

Frontiers in Energy 2009, Volume 3, Issue 4,   Pages 480-488 doi: 10.1007/s11708-009-0043-8

Abstract: A model validation technique in structural dynamics and its application in aero-engine development isThe concept and the approaches of model validation based on reference data supplied from experimentalAn aero-engine component is used as an example to demonstrate the validation using the experimental testA satisfactory agreement with both approaches is achieved, and finally, a strategy of model validation

Keywords： model validation     aero-engine     structural dynamics    

HTML PDF Collect

Stiffness analysis and experimental validation of robotic systems

Giuseppe CARBONE

Frontiers of Mechanical Engineering 2011, Volume 6, Issue 2,   Pages 182-196 doi: 10.1007/s11465-011-0221-3

Abstract: engineering feasibility of both the proposed numerical formulation for stiffness analysis and experimental validation

Keywords： robotics     stiffness performance     numerical and experimental estimations    

HTML PDF Collect

Availability growth models and verification of power equipment

Jinyuan SHI, Jiamin XU

Frontiers in Energy 2021, Volume 15, Issue 2,   Pages 529-538 doi: 10.1007/s11708-019-0624-0

Abstract: power station auxiliaries, and transmission and distribution installations are given together with verificationThe verification results for operation availability data show that the maintenance coefficients for electric

Keywords： repairable system     power equipment     electric generating unit     power station auxiliary     transmission and distribution installation     reliability     availability     availability growth model    

HTML PDF Collect

Innate immune checkpoint Siglec10 in cancers: mining of comprehensive omics data and validation in patient

Frontiers of Medicine 2022, Volume 16, Issue 4,   Pages 596-609 doi: 10.1007/s11684-021-0868-z

Abstract: Sialic acid binding Ig-like lectin 10 (Siglec10) is a member of innate immune checkpoints that inhibits the activation of immune cells through the interaction with its ligand CD24 on tumor cells. Here, by analyzing public databases containing 64 517 patients of 33 cancer types, we found that the expression of Siglec10 was altered in 18 types of cancers and was associated with the clinical outcomes of 11 cancer types. In particular, Siglec10 was upregulated in patients with kidney renal clear cell carcinoma (KIRC) and was inversely associated with the prognosis of the patients. In 131 KIRC patients of our settings, Siglec10 was elevated in the tumor tissues of 83 (63.4%) patients compared with that in their counterpart normal kidney tissues. Moreover, higher level of Siglec10 was associated with advanced disease (stages III and IV) and worse prognosis. Silencing of CD24 in KIRC cells significantly increased the number of Siglec10-expressing macrophages phagocytosing KIRC cells. In addition, luciferase activity assays suggested that Siglec10 was a potential target of the transcription factors c-FOS and GATA1, which were identified by data mining. These results demonstrate that Siglec10 may have important oncogenic functions in KIRC, and represents a novel target for the development of immunotherapies.

Keywords： innate immune checkpoint     Siglec10     kidney renal clear cell carcinoma    

HTML PDF Collect

Modelling and experimental verification on concrete-filled steel tubular columns with L or T section

LU Xilin, LI Xueping, WANG Dan

Frontiers of Structural and Civil Engineering 2007, Volume 1, Issue 2,   Pages 163-169 doi: 10.1007/s11709-007-0017-z

Abstract: Concrete-filled steel tubular columns with L or T sections were analyzed in this paper. According to the confining mechanism, the stress-strain constitutive model was put forward, and calculated results were compared with experimental records. After that, the hysteretic rules for the in-filled concrete were constructed, aiming at the analysis on the seismic behavior of composite members. The simulation analysis was performed by programming it in Fortran. The models in this paper can be applied in the program of time history analysis on tall buildings with concrete-filled steel tubular columns with L or T sections.

Keywords： hysteretic     confining mechanism     Concrete-filled     in-filled     composite    

HTML PDF Collect

Establishment and verification of a shrinking core model for dilute acid hydrolysis of lignocellulose

Cunwen WANG, Xiaoling DUAN, Weiguo WANG, Zihao LI, Yuanhang QIN

Frontiers in Energy 2012, Volume 6, Issue 4,   Pages 413-419 doi: 10.1007/s11708-012-0212-z

Abstract: The kinetics of lignocellulose hydrolysis under the conditions of high temperature and dilute acid (mass fraction 0.05%) was investigated in this paper. By studying the reducing sugar concentration versus reaction temperature (170°C–220°C) and reaction time (150–1800 s) during the hydrolysis process of five kinds of crop straw (rice, wheat, cotton, rape and corn), the shrinking core model was established, and the differential equation of the model and its analytical solution were obtained. With a numerical calculation method, the kinetic equation was estimated, and the degradation of reducing sugar obeyed first-order kinetics was obtained. The calculated results from the equations agreed well with the original experimental data. The calculation by the model showed that the reducing sugar concentration increases as the size of the particles decrease, and the uniform particles increase.

Keywords： lignocellulose     dilute acid hydrolysis     shrinking core model    

HTML PDF Collect

Model validation and application

Rongrong ZHANG,Chesheng ZHAN,Xiaomeng SONG,Baolin LIU

Frontiers of Environmental Science & Engineering 2015, Volume 9, Issue 6,   Pages 1025-1035 doi: 10.1007/s11783-014-0655-z

Abstract: And then verification results are conducted to compare with extensively researched literature data.In the third step, the data from an experimental landfill site is used for a pilot-scale validation.Further field-scale validation is finished. The results are satisfactory.

Keywords： environmental multimedia modelling system     fuzzy-set approach     application     model validation     uncertainty    

HTML PDF Collect

Numerical simulation and experimental verification of chemical reactions for SCR DeNO

Qiang ZHANG, Yonglin FAN, Wenyan LI

Frontiers of Chemical Science and Engineering 2010, Volume 4, Issue 4,   Pages 523-528 doi: 10.1007/s11705-010-0520-y

Abstract: Selective catalytic reduction (SCR) is a major commercial technology for NO removal in power plants. There are a lot of complex chemical reactions in SCR reactors, and it is of great significance to understand the internal process of chemical reactions for SCR DeNO and study the impact of various factors on NO removal efficiency. In this paper, the impact of reaction temperature, ammonia-nitrogen molar ratio and resident time in the catalyst bed layer on NO removal efficiency were studied by simulation of chemical reactions. Then calculated results were compared with catalyst activity test data in a power plant, which proved that the simulated results were accurate. As a result, the reaction conditions were optimized in order to get the best removal efficiency of NO, so that we can provide a reference for optimal running of SCR in power plants.

Keywords： SCR     NOx     removal efficiency     chemical reactions     simulation    

HTML PDF Collect

Water pumping analysis and experimental validation of beach well infiltration intake system in a seawater

Huan ZHANG,Shu LIU,Xuejing ZHENG,Gaofeng CHEN

Frontiers in Energy 2015, Volume 9, Issue 3,   Pages 335-342 doi: 10.1007/s11708-015-0365-7

Abstract: Based on energy conservation equation and Darcy’s law, a model of beach well infiltration intake system applied in a seawater source heat pump system was established. The model consists of the seawater seepage and the heat transfer process. A porous medium model in a software named FLUENT was applied to simulate the seepage and the heat transfer process. This model was also validated by field experiment conducted on the seashore in Tianjin, China. The maximum relative error between simulation results and experimental results was 2.1% (less than 5%), which was acceptable in engineering application. The porosity and coefficient of thermal conductivity of the aquifer soil were determined to be 0.49 W/(m·K) and 1.46 W/(m·K), respectively in the simulation. In addition, the influencing factors of pumping water of beach well were also analyzed. The pumping water was found to increase when the distance between the beach well and the impervious boundary becomes longer, when the distance between the beach well and the supplying water source shortens, when the diameter of the beach well enlarges, and the drawdown enlarges.

Keywords： water pumping analysis     experimental validation     infiltration intake system     seawater source heat pump    

HTML PDF Collect

Reliability prediction and its validation for nuclear power units in service

Jinyuan SHI,Yong WANG

Frontiers in Energy 2016, Volume 10, Issue 4,   Pages 479-488 doi: 10.1007/s11708-016-0425-7

Abstract: In this paper a novel method for reliability prediction and validation of nuclear power units in service

Keywords： nuclear power units in service     reliability     reliability prediction     equivalent availability factors    

HTML PDF Collect

Design method and verification of a hybrid prosthetic mechanism with energy-damper clutchable device

Frontiers of Mechanical Engineering 2021, Volume 16, Issue 4,   Pages 747-764 doi: 10.1007/s11465-021-0644-4

Abstract: Transfemoral amputees (TAs) have difficulty in mobility during walking, such as restricted movement of lower extremity and body instability, yet few transfemoral prostheses have explored human-like multiple motion characteristics by simple structures to fit the kinesiology, biomechanics, and stability of human lower extremity. In this work, the configurations of transfemoral prosthetic mechanism are synthesized in terms of human lower-extremity kinesiology. A hybrid transfemoral prosthetic (HTP) mechanism with multigait functions is proposed to recover the gait functions of TAs. The kinematic and mechanical performances of the designed parallel mechanism are analyzed to verify their feasibility in transfemoral prosthetic mechanism. Inspired by motion–energy coupling relationship of the knee, a wearable energy-damper clutched device that can provide energy in knee stance flexion to facilitate the leg off from the ground and can impede the leg’s swing velocity for the next stance phase is proposed. Its co-operation with the springs in the prismatic pairs enables the prosthetic mechanism to have the energy recycling ability under the gait rhythm of the knee joint. Results demonstrate that the designed HTP mechanism can replace the motion functions of the knee and ankle to realize its multimode gait and effectively decrease the peak power of actuators from 94.74 to 137.05 W while maintaining a good mechanical adaptive stability.

Keywords： hybrid transfemoral prosthetic mechanism     energy recycling     wearable mechanical clutched device     mechanical adaptive stability    

HTML PDF Collect

Expert networks as science-policy interlocutors in the implementation of a monitoring reporting and verification

Remi CHANDRAN, Tsuyoshi FUJITA, Minoru FUJII, Shuichi ASHINA, Kei GOMI, Rizaldi BOER, Muhammad ARDIANSYAH, Seiya MAKI

Frontiers in Energy 2018, Volume 12, Issue 3,   Pages 376-388 doi: 10.1007/s11708-018-0559-x

Abstract: This calls for the development of a measurement, reporting and verification (MRV) system and a Capacity-building

Keywords： MRV     CBIT     UNFCCC     Indonesia     Japan     ICT based monitoring     climate policy    

HTML PDF Collect

Man-machine verification of mouse trajectory based on the random forestmodel Research Articles

Zhen-yi XU, Yu KANG, Yang CAO, Yu-xiao YANG

Frontiers of Information Technology & Electronic Engineering 2019, Volume 20, Issue 7,   Pages 925-929 doi: 10.1631/FITEE.1700442

Abstract:

Identifying code has been widely used in man-machine verification to maintain network security.The challenge in engaging man-machine verification involves the correct classification of man and machineIn this study, we propose a random forest (RF) model for man-machine verification based on the mouse

Keywords： Man-machine verification     Random forest     Support vector machine     Logistic regression     Performance metrics    

HTML PDF Collect

Title Author Date Type Operation

Test-driven verification/validation of model transformations

László LENGYEL,Hassan CHARAF

Journal Article

Semantic Consistency and Correctness Verification of Digital Traffic Rules

Lei Wan,Changjun Wang,Daxin Luo,Hang Liu,Sha Ma,Weichao Hu,

Journal Article

Model validation for structural dynamics in the aero-engine design process

Chaoping ZANG, D. J. EWINS,

Journal Article

Stiffness analysis and experimental validation of robotic systems

Giuseppe CARBONE

Journal Article

Availability growth models and verification of power equipment

Jinyuan SHI, Jiamin XU

Journal Article

Innate immune checkpoint Siglec10 in cancers: mining of comprehensive omics data and validation in patient

Journal Article

Modelling and experimental verification on concrete-filled steel tubular columns with L or T section

LU Xilin, LI Xueping, WANG Dan

Journal Article

Establishment and verification of a shrinking core model for dilute acid hydrolysis of lignocellulose

Cunwen WANG, Xiaoling DUAN, Weiguo WANG, Zihao LI, Yuanhang QIN

Journal Article

Model validation and application

Rongrong ZHANG,Chesheng ZHAN,Xiaomeng SONG,Baolin LIU

Journal Article

Numerical simulation and experimental verification of chemical reactions for SCR DeNO

Qiang ZHANG, Yonglin FAN, Wenyan LI

Journal Article

Water pumping analysis and experimental validation of beach well infiltration intake system in a seawater

Huan ZHANG,Shu LIU,Xuejing ZHENG,Gaofeng CHEN

Journal Article

Reliability prediction and its validation for nuclear power units in service

Jinyuan SHI,Yong WANG

Journal Article

Design method and verification of a hybrid prosthetic mechanism with energy-damper clutchable device

Journal Article

Expert networks as science-policy interlocutors in the implementation of a monitoring reporting and verification

Remi CHANDRAN, Tsuyoshi FUJITA, Minoru FUJII, Shuichi ASHINA, Kei GOMI, Rizaldi BOER, Muhammad ARDIANSYAH, Seiya MAKI

Journal Article

Man-machine verification of mouse trajectory based on the random forestmodel

Zhen-yi XU, Yu KANG, Yang CAO, Yu-xiao YANG

Journal Article